Boolean algebra - PDFSEARCH.IO - Document Search Engine

Boolean algebra
Results: 1241

#	Item
171	On Decision Procedures for Ordered Collections Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2010-02-08 11:12:45 Elementary mathematics Cardinal numbers Boolean algebra Mathematical optimization Integer Finite set NP Cardinality Boolean satisfiability problem Mathematics Theoretical computer science Complexity classes
172	Linear Arithmetic with Stars Ruzica Piskac and Viktor Kuncak School of Computer and Communication Sciences, EPFL, Switzerland Abstract. We consider an extension of integer linear arithmetic with a “star” operator tak Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2008-11-06 07:52:12 Linear algebra Boolean algebra Electronic design automation Formal methods NP-complete problems Multiset Boolean satisfiability problem Vector space Theorems and definitions in linear algebra Mathematics Algebra Theoretical computer science
173	DATA MINING GUIDE LIST OF WEBSITES TO SEARCH FOR CLIENTS/RESUMES 1. Boolean 2. Referyes.com 3. LinkedIn 4. Theladders.com Add to Reading List Source URL: careersourceflorida.com Language: English - Date: 2015-03-31 13:19:02 Internet search engines Boolean algebra Google Search Web search engine George Boole Mathematical logic Science Information science Information retrieval Algebraic logic
174	Towards Efficient Satisfiability Checking for Boolean Algebra with Presburger Arithmetic Viktor Kuncak1 and Martin Rinard2 1 Ecole Politechnique F´ed´erale de Lausanne, Lausanne, VD, Switzerland Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2007-12-05 11:59:40 Logic in computer science Model theory Complexity classes Boolean algebra Electronic design automation Boolean satisfiability problem Presburger arithmetic Quantifier elimination Decision problem Theoretical computer science Computational complexity theory Applied mathematics
175	Certificates of Non-Membership for Classes of Read-Once Functions Dmitry Chistikov1? , Valentina Fedorova2 , and Andrey Voronenko2 1 Max Planck Institute for Software Systems (MPI-SWS), Germany Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2014-05-28 08:28:09 Function Boolean algebra Artificial neuron Numerical software GEC Propositional directed acyclic graph Mathematics Functions and mappings Mathematical logic
176	Extracting Xor-Encoded Files From Malware With IDAPython Add to Reading List Source URL: www.mnin.org Language: English - Date: 2006-09-10 20:41:00 Logic Propositional calculus Tar Computing Computer architecture Mathematics CPUID X86 assembly language X86 architecture Boolean algebra Exclusive or
177	Superreplication under Volatility Uncertainty for Measurable Claims ∗ Ariel Neufeld Add to Reading List Source URL: www.math.columbia.edu Language: English - Date: 2013-04-14 17:16:01 Probability theory Martingale theory Stochastic processes Forcing Conditional expectation Borel set Ordinal number Complete Boolean algebra Martingale Statistics Mathematical logic Mathematics
178	SO YOU THINK YOU CAN ONLY DO THAT ON WESTLAW CLASSIC? SESSION TWO: SEARCHING FEATURES 1. What about Boolean connectors and if I want the quotes to supply an exact phrase?  Boolean connectors work on WestlawNext. The l Add to Reading List Source URL: static.legalsolutions.thomsonreuters.com Language: English - Date: 2015-03-03 12:45:23 Westlaw Web search engine Boolean algebra Information science Legal research Information retrieval
179	Qualitative Comparative Analysis A Discussion of Interpretations G. Rohwer January 2008 Add to Reading List Source URL: www.stat.ruhr-uni-bochum.de Language: English - Date: 2014-02-26 08:39:04 Elementary mathematics Boolean algebra Statistical models Randomness Stochastic process Qualitative comparative analysis Implicant Differential equation Regression analysis Statistics Mathematics Econometrics
180	Bent Function Synthesis by Means of Cartesian Genetic Programming Radek Hrbacek and Vaclav Dvorak Brno University of Technology, Faculty of Information Technology Bozetechova 2, 61266 Brno, Czech republic Add to Reading List Source URL: www.genetic-programming.org Language: English - Date: 2014-07-05 17:13:53 Mathematical optimization Evolutionary algorithms Genetic algorithms Bent function Boolean function Balanced boolean function Digital electronics Genetic programming Circuit Boolean algebra Mathematics Cryptography

UPDATE